x -> average(4,x)Currying is necessary if full lazinessIt was named after the logician "> is to be applied to functional sub-expressions.It was named after the logician Haskell Curry but the 19th-century logician, Gottlob Frege"> was the first to propose it and it was first referred to in ["Uber die Bausteine der mathematischen Logik", M. Schoenfinkel, Mathematische Annalen. Vol 92 (1924)].David Turner said he got the termDavid Turner said he got the term……">

翻訳と辞書 Words near each other ・ cube ・ cubing ・ cuch ・ cuckoo's egg ・ cul ・ culler-fried system ・ cupid ・ cupl ・ curly bracket ・ current ・ curried function ・ currying ・ curseperl ・ curses ・ cursor ・ cursor dipped in x ・ cusi ・ cuspy ・ custom ・ customer information control system Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク curried function ： FOLDOC curried function A function of N arguments that is considered as a function of one argument which returns another function of N-1 arguments. E.g. in Haskell we can define: average :: Int -> (Int -> Int) (The parentheses are optional). A {partial application} of average, to one Int, e.g. (average 4), returns a function of type (Int -> Int) which averages its argument with 4. In uncurried languages a function must always be applied to all its arguments but a {partial application} can be represented using a lambda abstraction: x -> average(4,x) Currying is necessary if full laziness is to be applied to functional sub-expressions. It was named after the logician Haskell Curry but the 19th-century logician, Gottlob Frege"> was the first to propose it and it was first referred to in ["Uber die Bausteine der mathematischen Logik", M. Schoenfinkel, Mathematische Annalen. Vol 92 (1924)]. David Turner said he got the term David Turner said he got the term スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.